TSTP Solution File: DAT148^1 by Nitpick---2016